Conceptual Design of “Lotos” Motorcar

Conceptual Design of a Gait Rehabilitation Robot

Gait rehabilitation using body weight support on a treadmill is a recommended rehabilitation technique for neurological injuries, such as spinal cord injury. In this paper, a new robotic orthosis is presented for treadmill training. In the presented design the criteria such as low inertia of robot components, backdrivability, high safety and degrees of freedom based on human walking are conside...

Design of the LOTOSPHERE Symbolic LOTOS Simulator

In this paper we give a brief status report on the new LOTOS simulator that is being developed in the ESPRIT LOTOSPHERE project. We discuss its functional-ity, rst experiments with its use, and some discussion of the tool architecture and tool technology related to it. It should be noted that this tool is preliminary and not yet distributed.

Design of Telephony Services in Lotos

The purpose of this thesis is to design and validate a telephony system using the formal description language LOTOS and a series of tools provided by the Lotosphere Integrated Tool Environment, LITE. The starting point is a requirements document containing a series of informal specii-cations of services common to modern telephony systems. Special emphasis has been laid on choosing a design that...

Formal Object-based Design in Lotos

The advantages of object-based techniques in Software Engineering are well recognised and widely accepted. The inherent exibility of object-based systems often leads to an interactive and incremental style of development, a consequence of which may be insuucient rigour in software production. As the size and complexity of a software project increases, it is important to adhere to as rigorous a ...

Step-wise Refinement Design Example Using LOTOS